Books by author Rolf Drechsler

Showing 1 – 20 out of 67 results

1. 

   Enhanced Virtual Prototyping for Heterogeneous Systems

   Muhammad Hassan, Daniel Große, Rolf Drechsler | Springer, Berlin, 2023

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   80.15 €

   Sale 9 %

   You save 8.65 €

   Buy
2. 

   Enhanced Virtual Prototyping for Heterogeneous Systems

   Muhammad Hassan, Daniel Große, Rolf Drechsler | Springer, Berlin, 2022

   
   

   In stock at our supplier - Shipping in 10 - 13 days

   Language: English

   Binding: Hardback

   110.12 €

   Sale 9 %

   You save 11.89 €

   Buy
3. 

   Design für Testbarkeit, Fehlersuche und Zuverlässigkeit

   Sebastian Huhn, Rolf Drechsler | Springer, Berlin, 2024

   
   

   In stock at our supplier - Shipping in 10 - 13 days

   Language: German

   Binding: Hardback

   105.19 €

   Sale 4 %

   You save 5.43 €

   Buy
4. 

   Automatisierte Analyse von virtuellen Prototypen auf der Ebene elektronischer Systeme

   Mehran Goli, Rolf Drechsler | Springer, Berlin, 2024

   
   

   In stock at our supplier - Shipping in 10 - 13 days

   Language: German

   Binding: Hardback

   105.19 €

   Sale 4 %

   You save 5.43 €

   Buy
5. 

   Verbessertes virtuelles Prototyping

   Vladimir Herdt, Daniel Große, Rolf Drechsler | Springer, Berlin, 2023

   
   

   In stock at our supplier - Shipping in 10 - 13 days

   Language: German

   Binding: Hardback

   84.27 €

   Sale 6 %

   You save 6.24 €

   Buy
6. 

   Formal Verification of Structurally Complex Multipliers

   Alireza Mahzoon, Daniel Große, Rolf Drechsler | Springer, Berlin, 2024

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   92.12 €

   Sale 7 %

   You save 7.74 €

   Buy
7. 

   Advanced Boolean Techniques

   Rolf Drechsler, Sebastian Huhn | Springer, Berlin, 2023

   
   

   In stock at our supplier - Shipping in 10 - 13 days

   Language: English

   Binding: Hardback

   112.63 €

   Sale 7 %

   You save 9.38 €

   Buy
8. 

   Erweiterte virtuelle Prototypen für heterogene Systeme

   Muhammad Hassan, Daniel Große, Rolf Drechsler | Springer, Berlin, 2024

   
   

   In stock at our supplier - Shipping in 10 - 13 days

   Language: German

   Binding: Hardback

   79.65 €

   Sale 6 %

   You save 5.83 €

   Buy
9. 

   Test Pattern Generation using Boolean Proof Engines

   Rolf Drechsler, Stephan Eggersglüß, Görschwin Fey, Daniel Tille | Springer, 2009

   
   

   In stock at our supplier - Shipping in 10 - 16 days

   Language: English

   Binding: Hardback

   109.92 €

   Buy
10. 

    Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

    Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler | Springer International Publishing AG, 2018

    
    

    In stock at our supplier - Shipping in 10 - 13 days

    Language: English

    Binding: Hardback

    153.47 €

    Sale 7 %

    You save 12.78 €

    Buy
11. 

    Formal Verification of Circuits

    Rolf Drechsler | Springer, Berlin, 2000

    
    

    In stock at our supplier - Shipping in 10 - 13 days

    Language: English

    Binding: Hardback

    153.47 €

    Sale 7 %

    You save 12.78 €

    Buy
12. 

    Automatic Methods for the Refinement of System Models

    Julia Seiter, Robert Wille, Rolf Drechsler | Springer International Publishing AG, 2016

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    51.38 €

    Sale 7 %

    You save 4.24 €

    Buy
13. 

    High Quality Test Pattern Generation and Boolean Satisfiability

    Stephan Eggersglüß, Rolf Drechsler | Springer-Verlag New York Inc., 2011

    
    

    In stock at our supplier - Shipping in 10 - 13 days

    Language: English

    Binding: Hardback

    100.16 €

    Sale 9 %

    You save 10.79 €

    Buy
14. 

    Advanced BDD Optimization

    Rudiger Ebendt, Görschwin Fey, Rolf Drechsler | Springer-Verlag New York Inc., 2010

    
    

    In stock at our supplier - Shipping in 14 - 21 days

    Language: English

    Binding: Paperback

    145.32 €

    Sale 0 %

    You save 0.04 €

    Buy
15. 

    Evolutionary Algorithms for Embedded System Design

    Nicole Drechsler, Rolf Drechsler | Springer-Verlag New York Inc., 2012

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    102.38 €

    Sale 7 %

    You save 8.58 €

    Buy
16. 

    Reversible and Quantum Circuits

    Nabila Abdessaied, Rolf Drechsler | Springer International Publishing AG, 2016

    
    

    In stock at our supplier - Shipping in 10 - 13 days

    Language: English

    Binding: Hardback

    51.38 €

    Sale 7 %

    You save 4.24 €

    Buy
17. 

    Advanced Formal Verification

    Rolf Drechsler | Springer-Verlag New York Inc., 2004

    
    

    In stock at our supplier - Shipping in 10 - 13 days

    Language: English

    Binding: Hardback

    102.38 €

    Sale 7 %

    You save 8.58 €

    Buy
18. 

    Evolutionary Algorithms for VLSI CAD

    Rolf Drechsler | Springer, Berlin, 1998

    
    

    In stock at our supplier - Shipping in 10 - 13 days

    Language: English

    Binding: Hardback

    102.38 €

    Sale 7 %

    You save 8.58 €

    Buy
19. 

    Robustness and Usability in Modern Design Flows

    Görschwin Fey, Rolf Drechsler | Springer, 2010

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    102.38 €

    Sale 7 %

    You save 8.58 €

    Buy
20. 

    Binary Decision Diagrams

    Rolf Drechsler, Bernd Becker | Springer-Verlag New York Inc., 2010

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    153.47 €

    Sale 7 %

    You save 12.78 €

    Buy

We inform you about all changes of your order. Find out more